Modularity in noncopying term rewriting
نویسندگان
چکیده
منابع مشابه
On modularity in infinitary term rewriting
We study modular properties in strongly convergent infinitary term rewriting. In particular, we show that: • Confluence is not preserved across direct sum of a finite number of systems, even when these are non-collapsing. • Confluence modulo equality of hypercollapsing subterms is not preserved across direct sum of a finite number of systems. • Normalization is not preserved across direct sum o...
متن کاملOn Modularity in Term Rewriting and Narrowing
We introduce a modular property of equational proofs called modularity of normalization for the union of term rewrite systems with shared symbols The idea is that every normalization with R R R may be obtained by rst normalizing with R followed by an R normalization We develop criteria for this that cover non convergent TRS R where as the main restriction R is required to be left linear and con...
متن کاملCategorical term rewriting : monads and modularity
Term rewriting systems are widely used throughout computer science as they provide an abstract model of computation while retaining a comparatively simple syntax and semantics. In order to reason within large term rewriting systems, structuring operations are used to build large term rewriting systems from smaller ones. Of particular interest is whether key properties are modular, that is, if t...
متن کاملOn the Modularity of Confluence in Infinitary Term Rewriting
We show that, unlike the case in finitary term rewriting, confluence is not a modular property of infinitary term rewriting systems, even when these are non-collapsing. We also give a positive result: two sufficient conditions for the modularity of confluence in the infinitary setting.
متن کاملOn the Modularity of Termination of Term Rewriting Systems
It is well-known that termination is not a modular property of term rewriting systems, i.e., it is not preserved under disjoint union. The objective of this paper is to provide a \uniform framework" for suucient conditions which ensure the modularity of termination. We will prove the following result. Whenever the disjoint union of two terminating term rewriting systems is non-terminating, then...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1995
ISSN: 0304-3975
DOI: 10.1016/0304-3975(94)00248-3